declarative semantics的例句大全

The author expresses his different viewpoint with reference(ⅱ) on the relationship between the declarative semantics and the procedural semantics of PROLOG.

对关于PROLOG的说明性语义和过程性语义之间的关系的观点提出商榷。

The Declarative Semantics of Logic Programming Language G(?) del

逻辑程序设计语言G（？）del的说明性语义

As canvas does not present any declarative semantics, it is likely that it will have more applications in the user interface implementation area than anywhere else.

因为canvas没有提供任何声明性语义，很可能更多地用于用户界面实现领域而不是其他方面。

Diamant introduces session management, credential management, environment evaluation and authorization engine with declarative semantics into authorization management architecture, using policy language to define inter-domain security policies.

Diamant将会话管理、凭证管理、环境评估和具有说明性语义的授权引擎等核心机制引入授权体系结构中，基于策略语言描述域间安全策略。

Key words Deductive object database, partial set , compact operator, overriding operator, declarative semantics.

作者王修伦,1970年生, 博士, 主要研究领域为对象数据库.孙永强, 1931年生,教授, 博导,主要研究领域为计算机软件理论,新型语言,并行处理.